The Premiss-Based Approach to Logical Aggregation1
نویسندگان
چکیده
We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus defined is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessary and sufficient conditions for dictatorship or oligarchy on the premisses, and investigate when these results extend to the whole agenda. Our theorems recover or strengthen several existing ones and are formulated for infinite populations, an innovation of this paper. JEL identification numbers: D70, D71.
منابع مشابه
The premiss-based approach to judgment aggregation
We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus de ned is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessar...
متن کاملThe Four Sons of Penrose
We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can take in answer to the question raised by the argument, skirting the issue of introspection per se.
متن کاملInversion by Definitional Reflection and the Admissibility of Logical Rules
The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister (1990, 1991) proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by...
متن کاملThe theory of observation Logico-historical philosophy of as a transformative theory of sciences
Innovation and evolution in sciences needs to its own logical methodology. This paper, considering the necessity of evolution in sciences, has intended to establish a theory called the theory of observation. It would be counted as a model for the philosophies of with a logico-historical approach. Following the purpose, the author has explained technical terms such as research method, theory,...
متن کاملA note on the independence of premiss rule
In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that HA and HA extended by some non-classical axioms and non-constructive axioms are closed under IPR.
متن کامل